Distributed Timed Multitasking - A Model of Computation for Hard Real-Time Distributed Systems

نویسندگان

  • Christo Angelov
  • Jesper Berthing
چکیده

The paper presents a new type of system architecture for distributed embedded systems, whereby a system is composed from embedded actors that communicate transparently by exchanging labeled messages (signals), independent of their allocation onto network nodes. Signals are exchanged at precisely specified time instants in accordance with the concept of Timed Multitasking, whereby actors can be viewed as real-time tasks with eventtriggered input and output drivers activated by timing or external events. The combination of actors, signal-based communication and timed multitasking has resulted in a new operational model Distributed Timed Multitasking (DTM). The latter has been used to derive a task execution model and requirements specifications for a real-time kernel, which have been used to develop the timed-multitasking version of the HARTEXkQWiQX. In this context, the paper presents a discussion of specific implementation issues related to the execution of periodic and sporadic tasks under DTM.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Specification of Embedded Control Systems Behaviour Using Actor Interface Automata

Distributed Timed Multitasking (DTM) is a model of computation describing the operation of hard real-time embedded control systems. With this model, an application is conceived as a network of distributed embedded actors that communicate with one another by exchanging labeled messages (signals), independent of their physical allocation. Input and output signals are exchanged with the controlled...

متن کامل

Formal Design Models for Distributed Embedded Control Systems

The paper presents a formal specification of the software design models used in COMDES-II – a component-based framework for distributed control systems, featuring open architecture and predictable operation under hard real-time constraints. In this framework, an application is modelled as a network of distributed embedded actors that communicate transparently by exchanging labeled messages (sig...

متن کامل

Verification of Component-based Distributed Real-time Systems

Component-based software architectures enable reuse by separating application-specific concerns into modular components that are shielded from each other and from common concerns addressed by underlying services. Even so, concerns such as invocation rates, execution latencies, deadlines, and concurrency and scheduling semantics still cross-cut component boundaries in many real-time systems. Ver...

متن کامل

Reinventing Computing for Real Time

This paper studies models of computation, software techniques, and analytical models for distributed timed systems. By “timed systems” we mean those where timeliness is an essential part of the behavior. By “distributed systems” we mean computational systems that are interconnected on a network. Applications of timed distributed systems include industrial automation, distributed immersive envir...

متن کامل

Timed Distributed Systems

This project seeks models of computation, software techniques, and analytical models for distributed timed systems. Such systems coordinate components on a network, and timeliness matters. Applications include industrial automation, instrumentation systems, and networked embedded software systems. The introduction of network time synchronization such as IEEE 1588 makes possible time coherence t...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2006